BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2018/newsitem/9923/9-M
 ay-2018-Algebra|Coalgebra-Seminar-Nick-Bezhanishvi
 li-
DTSTAMP:20180426T160953
SUMMARY:Algebra|Coalgebra Seminar, Nick Bezhanishv
 ili 
ATTENDEE;ROLE=Speaker:Nick Bezhanishvili (ILLC) 
DTSTART;TZID=Europe/Amsterdam:20180509T160000
DTEND;TZID=Europe/Amsterdam:20180509T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
 rdam
DESCRIPTION:In recent years there has been a renew
 ed interest in the modal logic community toward Bo
 olean algebras equipped with binary relations. The
  study of such relations and their representation 
 theory has a long history, and is related to the s
 tudy of point-free geometry, point-free topology, 
 and region based theory of space. Our primary exam
 ples of Boolean algebras with relations will be de
  Vries algebras, which are dual to compact Hausdor
 ff spaces. Our main goal is to use the methods of 
 modal logic and universal algebra to investigate t
 he logical calculi of Boolean algebras with binary
  relations. This will lead, via de Vries duality, 
 to simple propositional calculi for compact Hausdo
 rff spaces, Stone spaces, etc.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>In recent year
 s there has been a renewed interest in the modal l
 ogic community toward Boolean algebras equipped wi
 th binary relations. The study of such relations a
 nd their representation theory has a long history,
  and is related to the study of point-free geometr
 y, point-free topology, and region based theory of
  space. Our primary examples of Boolean algebras w
 ith relations will be de Vries algebras, which are
  dual to compact Hausdorff spaces. Our main goal i
 s to use the methods of modal logic and universal 
 algebra to investigate the logical calculi of Bool
 ean algebras with binary relations. This will lead
 , via de Vries duality, to simple propositional ca
 lculi for compact Hausdorff spaces, Stone spaces, 
 etc.</p>\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
 .nl
END:VEVENT
END:VCALENDAR